PRE.sh_sourceCode {
	BACKGROUND-COLOR: #f0f0f0; FONT-STYLE: normal; COLOR: black; FONT-WEIGHT: normal
}
PRE.sh_sourceCode .sh_keyword {
	COLOR: blue; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_type {
	COLOR: darkgreen
}
PRE.sh_sourceCode .sh_string {
	FONT-FAMILY: monospace; COLOR: red
}
PRE.sh_sourceCode .sh_regexp {
	FONT-FAMILY: monospace; COLOR: orange
}
PRE.sh_sourceCode .sh_specialchar {
	FONT-FAMILY: monospace; COLOR: pink
}
PRE.sh_sourceCode .sh_comment {
	FONT-STYLE: italic; COLOR: brown
}
PRE.sh_sourceCode .sh_number {
	COLOR: purple
}
PRE.sh_sourceCode .sh_preproc {
	COLOR: darkblue; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_symbol {
	COLOR: darkred
}
PRE.sh_sourceCode .sh_function {
	COLOR: black; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_cbracket {
	COLOR: red
}
PRE.sh_sourceCode .sh_todo {
	BACKGROUND-COLOR: cyan; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_variable {
	COLOR: darkgreen
}
PRE.sh_sourceCode .sh_linenum {
	FONT-FAMILY: monospace; COLOR: black
}
PRE.sh_sourceCode .sh_url {
	FONT-FAMILY: monospace; COLOR: blue; TEXT-DECORATION: underline
}
PRE.sh_sourceCode .sh_date {
	COLOR: blue; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_time {
	COLOR: darkblue; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_file {
	COLOR: darkblue; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_ip {
	COLOR: darkgreen
}
PRE.sh_sourceCode .sh_name {
	COLOR: darkgreen
}
PRE.sh_sourceCode .sh_italics {
	FONT-STYLE: italic; COLOR: darkgreen
}
PRE.sh_sourceCode .sh_bold {
	COLOR: darkgreen; FONT-WEIGHT: bold
}
PRE.sh_sourceCode .sh_underline {
	COLOR: darkgreen; TEXT-DECORATION: underline
}
PRE.sh_sourceCode .sh_fixed {
	FONT-FAMILY: monospace; COLOR: green
}
PRE.sh_sourceCode .sh_argument {
	COLOR: darkgreen
}
PRE.sh_sourceCode .sh_optionalargument {
	COLOR: purple
}
PRE.sh_sourceCode .sh_math {
	COLOR: orange
}
PRE.sh_sourceCode .sh_bibtex {
	COLOR: blue
}
PRE.sh_sourceCode .sh_oldfile {
	COLOR: orange
}
PRE.sh_sourceCode .sh_newfile {
	COLOR: darkgreen
}
PRE.sh_sourceCode .sh_difflines {
	COLOR: blue
}
PRE.sh_sourceCode .sh_selector {
	COLOR: purple
}
PRE.sh_sourceCode .sh_property {
	COLOR: blue
}
PRE.sh_sourceCode .sh_value {
	FONT-STYLE: italic; COLOR: darkgreen
}
